XHIP: An extended hipparcos compilation
نویسندگان
چکیده
منابع مشابه
Secure Compilation to Modern Processors: Extended Version
We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to low-level machine code. Full abstraction is achieved by relying on a fine-grained program counter-based memory access protection scheme, which is part of our low-level target language. We discuss why standard compilers fail to provide full abstraction and introduce enhancements needed to ac...
متن کاملSecurity Types Preserving Compilation: (Extended Abstract)
Initiating from the seminal work of Volpano and Smith, there has been ample evidence that type systems may be used to enforce confidentiality of programs through non-interference. However, most type systems operate on high-level languages and calculi, and “low-level languages have not received much attention in studies of secure information flow” (Sabelfeld and Myers, [16]). Further, security t...
متن کاملType - Preserving Compilation of Featherweight IL ( Extended
We present a type-preserving compilation of Featherweight IL. Featherweight IL is a significant subset of MS IL which models new features including value classes and their interaction with reference classes. Our translation makes use of a high-level intermediate language called Functional Featherweight IL. The target language LFLINT is a low-level language which is close to machine level implem...
متن کاملVeried Compilation Based on the B Method: Initial Appraisal (extended Version) Verified Compilation Based on the B Method: an Initial Appraisal (extended Version)
This report presents an application of the software engineering process known as the B method beyond the classical algorithmic level provided by the B0 sub-language, and presents refinements of B models in a level of precision equivalent to assembly language. We claim and justify that this extension provides for a more reliable software development process as it bypasses two of the less trustab...
متن کاملInterprocedural Compilation of Fortran D (extended Version) Interprocedural Compilation of Fortran D
Fortran D is a version of Fortran extended with data decomposition speciications. It is designed to provide a machine-independent programming model for data-parallel applications and has heavily innuenced the design of High Performance Fortran (HPF). In previous work we described Fortran D compilation algorithms for individual procedures. This paper presents an interprocedural approach to analy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomy Letters
سال: 2012
ISSN: 1063-7737,1562-6873
DOI: 10.1134/s1063773712050015